• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۲۷ پاسخ غیر تکراری از ۲۷ پاسخ تکراری در مدت زمان ۰,۴۹ ثانیه یافت شد.

1. Conditional and typed rewriting systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13-15, 1994 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Nachum Dershowitz, Naomi Lindenstrauss )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

Classification :
QA
76
.
L28
Vol
.
968

2. Rewriting techniques and application

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Leo Bachmair (ed.)

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Rewriting systems (Computer science)--Congresses,Computer programming--Congresses,Algorithms--Congresses

Classification :
QA
,
267
,.
R48
,
2000

3. Rewriting techniques and applications :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Rewriting systems (Computer science) ; Congresses ; Computer programming ; Congresses ; Algorithms ; Congresses ;

Classification :

4. Rewriting techniques and applications :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: N. Dershowitz, ed.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer algorithms-- Congresses.,Computer programming-- Congresses.,Rewriting systems (Computer science)-- Congresses.

Classification :
QA267
.
I555
1989

5. Rewriting techniques and applications :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Harald Ganzinger (ed.)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Algorithms, Congresses,Computer programming, Congresses,Rewriting systems (Computer science), Congresses,base Gröbner,déduction,lambda calcul,Logique,réécriture,réecriture conditionnelle,réécriture graphe,Sémantique,théorie type,unification

Classification :
QA267
.
R48
1996

6. Rewriting techniques and applications

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Ronald V. Book, ed

Library: Library of College of Science University of Tehran (Tehran)

Subject: Rewriting systems (Computer science) -- Congresses,Electronic digital computers -- Programming -- Congresses,Algorithms -- Congresses

Classification :
QA
267
.
I555
1991

7. Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987: Proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Pierre Lescanne

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

Classification :
QA
76
.
L28
Vol
.
256

8. Rewriting techniques and applications : Dijon, France, May 20-22, 1985

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Jean-Pierre Jouannaud

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

Classification :
QA
76
.
L28
Vol
.
202

9. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: International Conference on Rewriting Techniques and Applications )3rd: 9891: Chapel Hill, N.C.(

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses

Classification :
QA
267
.
I555
1989

10. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: N. Dershowitz, ed

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Computer algorithms

Classification :
QA
76
.
L28
Vol
.
355

11. Rewriting techniques and applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Vincent Van Oostrom )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

Classification :
QA
76
.
L28
Vol
.
3091

12. Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Ronald V. Book, ed

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

Classification :
QA
76
.
L28
Vol
.
488

13. Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: International Conference on Rewriting Techniques and Applications )4th: 1991: Como, Italy(

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses

Classification :
QA
267
.
I555
1991

14. Rewriting techniques and applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Sophie Tison )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

Classification :
QA
76
.
L28
Vol
.
2378

15. Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 :proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Claude Kirchner )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

Classification :
QA
76
.
L28
Vol
.
690

16. Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses

Classification :
QA
267
.
I555
1993

17. Rewriting techniques and applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Leo Bachmair )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

Classification :
QA
76
.
L28
Vol
.
1833

18. Rewriting techniques and applications : 8th International Conference, RTA-97 Sitges, Spain, June 2-5, 1997: proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Hubert Comon )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

Classification :
QA
76
.
L28
Vol
.
1232

19. Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30 1996 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Harald Ganzinger

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

Classification :
QA
76
.
L28
Vol
.
1103

20. Rewriting techniques and applications : 10th international conference, RTA-99, Trento, Italy, July 1999 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Paliath Narendran, Michael Rusinowitch )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

Classification :
QA
76
.
L28
Vol
.
1631
  • »
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival